Curry–Howard correspondence
訳: カリー＝ハワード同型対応
揺れ
Curry–Howard isomorphism
Curry–Howard equivalence
the proofs-as-programs and propositions-as-types interpretation
the proofs-as-programs and formulae-as-types interpretation
資料
カリー＝ハワード同型対応 - Wikipedia
ガイド代わりwint.icon
Curry–Howard correspondence - Wikipedia